Back Məntiqi kateqoriyalar Azerbaijani Kategorická logika Czech Categorical logic English Logica categorica Italian Lógica categórica Portuguese
Categorische logica is de tak van de wiskunde waarin hulpmiddelen en concepten uit de categorietheorie worden toegepast op de studie van wiskundige logica. Het valt ook op door zijn verbanden met de theoretische informatica. In grote lijnen vertegenwoordigt categorische logica zowel syntaxis als semantiek door een categorie, en een interpretatie door een functor. Het categorische raamwerk biedt een rijke conceptuele achtergrond voor logische en typetheoretische constructies. In deze termen kwam het onderwerp op sinds circa 1970.